RDP 2015, Jun. 30, 2015, WCMCS, Warsaw. From syntax to semantics of Dependent Type Theories - Formalized by Vladimir Voevodsky

Source URL: hott-uf.gforge.inria.fr

• Mathematics
• Academia
• Mathematical logic
• Type theory
• Abstract algebra
• Logic in computer science
• Mathematical structures
• Formal methods
• Intuitionistic type theory
• Expression
• Lambda calculus
• Universal algebra

The Journal of Logic Programming±41 www.elsevier.com/locate/jlpr An abstract machine for eciently computing queries to well-founded modelsq

Source URL: user.it.uu.se

The Logic of Explanatory Power Jonah N. Schupbach and Jan Sprenger∗† [Forthcoming in Philosophy of Science] Abstract This paper introduces and defends a probabilistic measure of the explanatory power that a particula

Source URL: fitelson.org

Theory and Applications of Categories, Vol. 7, No. 15, 2000, pp. 284–338. GEOMETRIC AND HIGHER ORDER LOGIC IN TERMS OF ABSTRACT STONE DUALITY PAUL TAYLOR Transmitted by Robert Rosebrugh

Source URL: www.margaretmorgan.com

TSL: A System for Generating Abstract Interpreters and its Application to Machine-Code Analysis JUNGHEE LIM GrammaTech, Inc. and THOMAS REPS

Source URL: research.cs.wisc.edu

• Logic in computer science
• Programming language semantics
• Programming language implementation
• Compiler construction
• Formal methods
• Abstract interpretation
• Semantics
• Static program analysis
• Syntax
• GrammaTech
• Denotational semantics
• Compiler

Teaching Experience: Logic and Formal Methods with Coq Martin Henz and Aquinas Hobor? National University of Singapore Abstract. During the past three years we have been integrating mechanized theorem proving into a tra

Source URL: www.comp.nus.edu.sg

Probabilistic Logic with Conditional Independence Formulae1 Magdalena Ivanovska and Martin Giese2 Abstract. We investigate probabilistic propositional logic as a way of expressing and reasoning about uncertainty. In cont

Source URL: heim.ifi.uio.no

Resource-Restricted Indifferentiability? Gr´egory Demay, Peter Gaˇzi, Martin Hirt, and Ueli Maurer Department of Computer Science, ETH Zurich, Switzerland {gregory.demay,peter.gazi,hirt,maurer}@inf.ethz.ch Abstract. A

Source URL: pub.ist.ac.at

• Computability theory
• Mathematical logic
• Model theory
• Structure
• Universal algebra
• Reduction
• Symbol
• Sigma-algebra
• Decomposition of spectrum

A Case for Behavior-Preserving Actions in Separation Logic David Costanzo and Zhong Shao Yale University Abstract. Separation Logic is a widely-used tool that allows for local

Source URL: flint.cs.yale.edu

• Model theory
• Logic in computer science
• Separation logic
• Substructural logic
• Structure
• Elementary class
• Substitution

J. Symbolic Computation, 235–265 The Magma Algebra System I: The User Language† WIEB BOSMA‡, JOHN CANNON§ AND CATHERINE PLAYOUST¶ Computational Algebra Group, School of Mathematics and Statistics, The

Source URL: www.math.ru.nl

• Algebra
• Mathematics
• Abstract algebra
• Universal algebra
• Mathematical structures
• Mathematical logic
• Algebraic structures
• Magma
• Sigma-algebra
• Structure
• F-algebra
• Model theory